(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     15038,        524]
NotebookOptionsPosition[     10722,        396]
NotebookOutlinePosition[     13778,        478]
CellTagsIndexPosition[     13661,        472]
WindowTitle->PowerSimplify
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"DataType\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DataType"], "\<\"OPEm\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/OPEi"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/PowerSimplify\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/PowerSimplify"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
PowerSimplify.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$213983], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/PowerSimplify", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["PowerSimplify", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"PowerSimplify", "[", "exp", "]"}]], "InlineFormula"],
     " \[LineSeparator]",
     "simplifies",
     Cell[BoxData[
      FormBox[
       RowBox[{" ", 
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{"-", "x"}], ")"}], "a"]}], TraditionalForm]]],
     " to ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"-", "1"}], ")"}], "a"], TraditionalForm]]],
     " ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox["x", "a"], TraditionalForm]]],
     " and ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"y", "-", "x"}], ")"}], "n"], TraditionalForm]]],
     " to ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"-", "1"}], ")"}], "n"], TraditionalForm]]],
     " ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"x", "-", "y"}], ")"}], "n"], TraditionalForm]]],
     "; thus assuming that the exponent is an integer (even if it is \
symbolic). Furthermore ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"-", "1"}], ")"}], 
        RowBox[{"a", "+", "n"}]], TraditionalForm]]],
     " and ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox["\[ImaginaryI]", 
        RowBox[{"a", "+", "n"}]], TraditionalForm]]],
     " are expanded and ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox["\[ImaginaryI]", 
        RowBox[{"2", " ", "m"}]], TraditionalForm]]],
     " \[Rule] ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"-", "1"}], ")"}], "m"], TraditionalForm]]],
     " and (-1)^(",
     StyleBox["n",
      FontSlant->"Italic"],
     " ",
     StyleBox["m",
      FontSlant->"Italic"],
     ") \[Rule] 1 and (-1)^(",
     StyleBox["n",
      FontSlant->"Italic"],
     " ",
     StyleBox["m",
      FontSlant->"Italic"],
     ") \[Rule] ",
     Cell[BoxData[
      FormBox[
       FormBox[
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{"-", "1"}], ")"}], "m"],
        TraditionalForm], TraditionalForm]]],
     " for ",
     StyleBox["n",
      FontSlant->"Italic"],
     " even and odd respectively and ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"-", "1"}], ")"}], 
        RowBox[{"-", "n"}]], TraditionalForm]]],
     " \[Rule] ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"-", "1"}], ")"}], "n"], TraditionalForm]]],
     " and ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox["\[ExponentialE]", 
        StyleBox[
         RowBox[{"\[ImaginaryI]", 
          StyleBox["m",
           FontSlant->"Italic"], "\[Pi]"}]]], TraditionalForm]]],
     " \[Rule] ",
     Cell[BoxData[
      FormBox[
       SuperscriptBox[
        RowBox[{"(", 
         RowBox[{"-", "1"}], ")"}], "m"], TraditionalForm]]],
     "."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->1517706190],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->135394918],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PowerSimplify", "[", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{"-", "1"}], ")"}], "^", 
   RowBox[{"(", 
    RowBox[{"2", "OPEm"}], ")"}]}], "]"}]], "Input",
 CellTags->"PowerSimplify",
 CellLabel->"In[1]:=",
 CellID->1178513781],

Cell[BoxData[
 FormBox["1", TraditionalForm]], "Output",
 ImageSize->{11, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"PowerSimplify",
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PowerSimplify", "[", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{"-", "1"}], ")"}], "^", 
   RowBox[{"(", 
    RowBox[{"OPEm", "+", "2"}], ")"}]}], "]"}]], "Input",
 CellTags->"PowerSimplify",
 CellLabel->"In[2]:=",
 CellID->1283744805],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   RowBox[{"(", 
    RowBox[{"-", "1"}], ")"}], "m"], TraditionalForm]], "Output",
 ImageSize->{47, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"PowerSimplify",
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PowerSimplify", "[", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{"-", "1"}], ")"}], "^", 
   RowBox[{"(", 
    RowBox[{"OPEm", "-", "2"}], ")"}]}], "]"}]], "Input",
 CellTags->"PowerSimplify",
 CellLabel->"In[3]:=",
 CellID->604286428],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   RowBox[{"(", 
    RowBox[{"-", "1"}], ")"}], "m"], TraditionalForm]], "Output",
 ImageSize->{47, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"PowerSimplify",
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PowerSimplify", "[", 
  RowBox[{"I", "^", 
   RowBox[{"(", 
    RowBox[{"2", "OPEm"}], ")"}]}], "]"}]], "Input",
 CellTags->"PowerSimplify",
 CellLabel->"In[4]:=",
 CellID->1089003122],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   RowBox[{"(", 
    RowBox[{"-", "1"}], ")"}], "m"], TraditionalForm]], "Output",
 ImageSize->{47, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"PowerSimplify",
 CellLabel->"Out[4]="]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["DataType",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DataType",
  ButtonNote->"DataType"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["OPEm",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/OPEi",
  ButtonNote->"OPEm"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso"]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"PowerSimplify",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 9, 43.113338}", 
    "history" -> {"9.0", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "PowerSimplify[exp] simplifies (-x) a to (-1) a x^a and (y - x) n to (-1) \
n (x - y) n; thus assuming that the exponent is an integer (even if it is \
symbolic). Furthermore (-1) a + n and I a + n are expanded and I 2 m -> (-1) \
m and (-1)^(n m) -> 1 and (-1)^(n m) -> TraditionalForm\\`(-1) m for n even \
and odd respectively and (-1) -n -> (-1) n and E Im\\[Pi] -> (-1) m.", 
    "synonyms" -> {}, "tabletags" -> {}, "title" -> "PowerSimplify", 
    "titlemodifier" -> "", "windowtitle" -> "PowerSimplify", "type" -> 
    "Symbol", "uri" -> "FeynCalc/ref/PowerSimplify"}, "SearchTextTranslated" -> 
  ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[7269, 236, 388, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->1517706190]},
 "PowerSimplify"->{
  Cell[7902, 265, 252, 9, 27, "Input",
   CellTags->"PowerSimplify",
   CellID->1178513781],
  Cell[8157, 276, 194, 6, 35, "Output",
   CellTags->"PowerSimplify"],
  Cell[8388, 287, 257, 9, 27, "Input",
   CellTags->"PowerSimplify",
   CellID->1283744805],
  Cell[8648, 298, 262, 9, 37, "Output",
   CellTags->"PowerSimplify"],
  Cell[8947, 312, 256, 9, 27, "Input",
   CellTags->"PowerSimplify",
   CellID->604286428],
  Cell[9206, 323, 262, 9, 37, "Output",
   CellTags->"PowerSimplify"],
  Cell[9505, 337, 208, 7, 27, "Input",
   CellTags->"PowerSimplify",
   CellID->1089003122],
  Cell[9716, 346, 262, 9, 37, "Output",
   CellTags->"PowerSimplify"]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 12841, 444},
 {"PowerSimplify", 12982, 448}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[585, 21, 3101, 75, 53, "AnchorBarGrid",
 CellID->1],
Cell[3689, 98, 290, 11, 45, "ObjectNameGrid"],
Cell[3982, 111, 3262, 121, 144, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[7269, 236, 388, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->1517706190],
Cell[CellGroupData[{
Cell[7682, 255, 195, 6, 26, "ExampleSection",
 CellID->135394918],
Cell[CellGroupData[{
Cell[7902, 265, 252, 9, 27, "Input",
 CellTags->"PowerSimplify",
 CellID->1178513781],
Cell[8157, 276, 194, 6, 35, "Output",
 CellTags->"PowerSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[8388, 287, 257, 9, 27, "Input",
 CellTags->"PowerSimplify",
 CellID->1283744805],
Cell[8648, 298, 262, 9, 37, "Output",
 CellTags->"PowerSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[8947, 312, 256, 9, 27, "Input",
 CellTags->"PowerSimplify",
 CellID->604286428],
Cell[9206, 323, 262, 9, 37, "Output",
 CellTags->"PowerSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[9505, 337, 208, 7, 27, "Input",
 CellTags->"PowerSimplify",
 CellID->1089003122],
Cell[9716, 346, 262, 9, 37, "Output",
 CellTags->"PowerSimplify"]
}, Open  ]]
}, Open  ]],
Cell[10005, 359, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10073, 364, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[10346, 378, 334, 13, 56, "SeeAlso"]
}, Open  ]],
Cell[10695, 394, 23, 0, 70, "FooterCell"]
}
]
*)

(* End of internal cache information *)

